Algorithmic iteration for computational intelligence

Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability is already shown by current AIs, and understanding its limits is an essential step in qualifying claims about machine awareness and Super-AI. We propose a formal translation of algorithmic iteration in a fragment of modal logic, formulate principles of transparency and faithfulness across human and machine intelligence, and consider the relevance to theoretical research on (Super)-AI as well as the practical import of our results

Activation of superior colliculi in humans during visual exploration

<p>Abstract</p> <p>Background</p> <p>Visual, oculomotor, and – recently – cognitive functions of the superior colliculi (SC) have been documented in detail in non-human primates in the past. Evidence for corresponding functions of the SC in humans is still rare. We examined activity changes in the human tectum and the lateral geniculate nuclei (LGN) in a visual search task using functional magnetic resonance imaging (fMRI) and anatomically defined regions of interest (ROI). Healthy subjects conducted a free visual search task and two voluntary eye movement tasks with and without irrelevant visual distracters. Blood oxygen level dependent (BOLD) signals in the SC were compared to activity in the inferior colliculi (IC) and LGN.</p> <p>Results</p> <p>Neural activity increased during free exploration only in the SC in comparison to both control tasks. Saccade frequency did not exert a significant effect on BOLD signal changes. No corresponding differences between experimental tasks were found in the IC or the LGN. However, while the IC revealed no signal increase from the baseline, BOLD signal changes at the LGN were consistently positive in all experimental conditions.</p> <p>Conclusion</p> <p>Our data demonstrate the involvement of the SC in a visual search task. In contrast to the results of previous studies, signal changes could not be seen to be driven by either visual stimulation or oculomotor control on their own. Further, we can exclude the influence of any nearby neural structures (e.g. pulvinar, tegmentum) or of typical artefacts at the brainstem on the observed signal changes at the SC. Corresponding to findings in non-human primates, our data support a dependency of SC activity on functions beyond oculomotor control and visual processing.</p

Connectivity of the Primate Superior Colliculus Mapped by Concurrent Microstimulation and Event-Related fMRI

Background: Neuroanatomical studies investigating the connectivity of brain areas have heretofore employed procedures in which chemical or viral tracers are injected into an area of interest, and connected areas are subsequently identified using histological techniques. Such experiments require the sacrifice of the animals and do not allow for subsequent electrophysiological studies in the same subjects, rendering a direct investigation of the functional properties of anatomically identified areas impossible. Methodology/Principal Findings: Here, we used a combination of microstimulation and fMRI in an anesthetized monkey preparation to study the connectivity of the superior colliculus (SC). Microstimulation of the SC resulted in changes in the blood oxygenation level-dependent (BOLD) signals in the SC and in several cortical and subcortical areas consistent with the known connectivity of the SC in primates. Conclusions/Significance: These findings demonstrates that the concurrent use of microstimulation and fMRI can be used to identify brain networks for further electrophysiological or fMRI investigation

Learning the Optimal Control of Coordinated Eye and Head Movements

Various optimality principles have been proposed to explain the characteristics of coordinated eye and head movements during visual orienting behavior. At the same time, researchers have suggested several neural models to underly the generation of saccades, but these do not include online learning as a mechanism of optimization. Here, we suggest an open-loop neural controller with a local adaptation mechanism that minimizes a proposed cost function. Simulations show that the characteristics of coordinated eye and head movements generated by this model match the experimental data in many aspects, including the relationship between amplitude, duration and peak velocity in head-restrained and the relative contribution of eye and head to the total gaze shift in head-free conditions. Our model is a first step towards bringing together an optimality principle and an incremental local learning mechanism into a unified control scheme for coordinated eye and head movements

Deficits in visuo-spatial working memory, inhibition and oculomotor control in boys with ADHD and their non-affected brothers.

Few studies have assessed visuo-spatial working memory and inhibition in attention-deficit/hyperactivity disorder (ADHD) by recording saccades and consequently little additional knowledge has been gathered on oculomotor functioning in ADHD. Moreover, this is the first study to report the performance of non-affected siblings of children with ADHD, which may shed light on the familiality of deficits. A total of 14 boys with ADHD, 18 non-affected brothers, and 15 control boys aged 7-14 years, were administered a memory-guided saccade task with delays of three and seven seconds. Familial deficits were found in accuracy of visuo-spatial working memory, percentage of anticipatory saccades, and tendency to overshoot saccades relative to controls. These findings suggest memory-guided saccade deficits may relate to a familial predisposition for ADHD

Optimal Control of Saccades by Spatial-Temporal Activity Patterns in the Monkey Superior Colliculus

A major challenge in computational neurobiology is to understand how populations of noisy, broadly-tuned neurons produce accurate goal-directed actions such as saccades. Saccades are high-velocity eye movements that have stereotyped, nonlinear kinematics; their duration increases with amplitude, while peak eye-velocity saturates for large saccades. Recent theories suggest that these characteristics reflect a deliberate strategy that optimizes a speed-accuracy tradeoff in the presence of signal-dependent noise in the neural control signals. Here we argue that the midbrain superior colliculus (SC), a key sensorimotor interface that contains a topographically-organized map of saccade vectors, is in an ideal position to implement such an optimization principle. Most models attribute the nonlinear saccade kinematics to saturation in the brainstem pulse generator downstream from the SC. However, there is little data to support this assumption. We now present new neurophysiological evidence for an alternative scheme, which proposes that these properties reside in the spatial-temporal dynamics of SC activity. As predicted by this scheme, we found a remarkably systematic organization in the burst properties of saccade-related neurons along the rostral-to-caudal (i.e., amplitude-coding) dimension of the SC motor map: peak firing-rates systematically decrease for cells encoding larger saccades, while burst durations and skewness increase, suggesting that this spatial gradient underlies the increase in duration and skewness of the eye velocity profiles with amplitude. We also show that all neurons in the recruited population synchronize their burst profiles, indicating that the burst-timing of each cell is determined by the planned saccade vector in which it participates, rather than by its anatomical location. Together with the observation that saccade-related SC cells indeed show signal-dependent noise, this precisely tuned organization of SC burst activity strongly supports the notion of an optimal motor-control principle embedded in the SC motor map as it fully accounts for the straight trajectories and kinematic nonlinearity of saccades

Distributed representations of the "preparatory set" in the frontal oculomotor system: a TMS study

<p>Abstract</p> <p>Background</p> <p>The generation of saccades is influenced by the level of "preparatory set activity" in cortical oculomotor areas. This preparatory activity can be examined using the gap-paradigm in which a temporal gap is introduced between the disappearance of a central fixation target and the appearance of an eccentric target.</p> <p>Methods</p> <p>Ten healthy subjects made horizontal pro- or antisaccades in response to lateralized cues after a gap period of 200 ms. Single-pulse transcranial magnetic stimulation (TMS) was applied to the dorsolateral prefrontal cortex (DLPFC), frontal eye field (FEF), or supplementary eye field (SEF) of the right hemisphere 100 or 200 ms after the disappearance of the fixation point. Saccade latencies were measured to probe the disruptive effect of TMS on saccade preparation. In six individuals, we gave realistic sham TMS during the gap period to mimic auditory and somatosensory stimulation without stimulating the cortex.</p> <p>Results</p> <p>TMS to DLPFC, FEF, or SEF increased the latencies of contraversive pro- and antisaccades. This TMS-induced delay of saccade initiation was particularly evident in conditions with a relatively high level of preparatory set activity: The increase in saccade latency was more pronounced at the end of the gap period and when participants prepared for prosaccades rather than antisaccades. Although the "lesion effect" of TMS was stronger with prefrontal TMS, TMS to FEF or SEF also interfered with the initiation of saccades. The delay in saccade onset induced by real TMS was not caused by non-specific effects because sham stimulation shortened the latencies of contra- and ipsiversive anti-saccades, presumably due to intersensory facilitation.</p> <p>Conclusion</p> <p>Our results are compatible with the view that the "preparatory set" for contraversive saccades is represented in a distributed cortical network, including the contralateral DLPFC, FEF and SEF.</p

A competitive integration model of exogenous and endogenous eye movements

We present a model of the eye movement system in which the programming of an eye movement is the result of the competitive integration of information in the superior colliculi (SC). This brain area receives input from occipital cortex, the frontal eye fields, and the dorsolateral prefrontal cortex, on the basis of which it computes the location of the next saccadic target. Two critical assumptions in the model are that cortical inputs are not only excitatory, but can also inhibit saccades to specific locations, and that the SC continue to influence the trajectory of a saccade while it is being executed. With these assumptions, we account for many neurophysiological and behavioral findings from eye movement research. Interactions within the saccade map are shown to account for effects of distractors on saccadic reaction time (SRT) and saccade trajectory, including the global effect and oculomotor capture. In addition, the model accounts for express saccades, the gap effect, saccadic reaction times for antisaccades, and recorded responses from neurons in the SC and frontal eye fields in these tasks. © The Author(s) 2010